Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
11	Combining Programming with Theorem Proving Chiyan Chen and Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-11-01 11:55:41 Software engineering Computer programming Computing Functional languages Type theory Data types Procedural programming languages ATS Object-oriented programming ML Polymorphism OCaml
12	Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-10 19:35:24 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Monad Option type Type class Map ALGOL 68 Functor
13	Ruby and OOP for the Old-Time C Programmer ! ! They say the first program in any language is the same: ! Add to Reading List Source URL: rubyhacker.com Language: English - Date: 2015-07-24 14:20:10 Software engineering Computer programming Computing Object-oriented programming languages Data types Object Search algorithms Ruby Foreach loop Immutable object Hash function Iterator
14	COMP 621 Program Analysis and Transformations Assignment #1 Profiling and Traditional Flow Analysis Due: Wednesday Oct 7, beginning of class Overview: Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2015-09-21 10:19:26 Software Computing Data types Array programming languages Numerical software C++ Linear algebra MATLAB Array programming Benchmark Anonymous function Const
15	Program Analysis and Specialization for the C Programming Language Ph.D. Thesis Lars Ole Andersen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:01 Software engineering Programming language theory Computing Data types University of Copenhagen Static program analysis Procedural programming languages Pointer TOPPS UCPH Department of Computer Science Const Alias analysis
16	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
17	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Software engineering Computing Programming language theory Type theory Data types Procedural programming languages C++ Lambda calculus Type system Type safety Gradual typing ALGOL 68
18	XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils Gesbert Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-08 05:48:48 Software engineering Computer programming Computing Functional languages Data types Query languages Knowledge representation Functional programming XQuery Recursive data type Tree Well-formed formula
19	Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic Mathematical logic Mathematics Automated theorem proving Logic programming Model theory Formal languages Type theory Unification Structure Substitution Symbol
20	Scalad: An Interactive Type-level Debugger Hubert Plociniczak École Polytechnique Fédérale de Lausanne {first.last}@epfl.ch Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Software engineering Computing Computer programming Type theory Data types Functional languages Procedural programming languages Cross-platform software Type inference Scala Covariance and contravariance Type system

UPDATE